int show_fmc();

